Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
671	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Declarative programming Computer programming Functional programming Data types Polymorphism Object-oriented programming Map Parametric polymorphism Constructible universe
672	Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2015-11-16 05:46:32 Computing Computer architecture Software engineering Models of computation Computer data Dataflow Finite-state machine SIGNAL BMDFM
673	Corpus Linguistics Collocations, part 2: Practicalities Web interface Perl NSP Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-10-06 19:54:14 Linguistics Software engineering Software Corpus linguistics Natural language processing Collocation Language education Applied linguistics N-gram Perl Co-occurrence Bigram
674	Enterprise Architect User Guide Series Parametric Simulation using OpenModelica Add to Reading List Source URL: www.sparxsystems.com Language: English - Date: 2016-06-06 20:23:56 Software Application software Object-oriented programming Simulation software Systems engineering Systems Modeling Language Unified Modeling Language OpenModelica Modelica Enterprise Architect Sparx Systems Scientific modelling
675	A secure infrastructure for mobile blended learning applications M. Politze1, S. Schaffert2, B. Decker3 1 IT Center RWTH Aachen University, Seffenter Weg 23, 52074 Aachen, Add to Reading List Source URL: www.eunis.org Language: English - Date: 2016-04-18 03:54:21 Enterprise application integration Web services Computing Software engineering Architectural pattern Service-oriented architecture Eduroam Service-oriented Software Internet of things Mobile app
676	Advanced Science and Technology Letters Vol.93 (Security, Reliability and Safety 2015), pp.5-8 http://dx.doi.orgastlA Software Weakness Analysis Technique for Secure Software Add to Reading List Source URL: onlinepresent.org Language: English - Date: 2015-04-19 22:44:46 Computing Software testing Software engineering Software quality Common Weakness Enumeration Vulnerability Coverity Analysis Fortify Software Application security LDRA Testbed Static program analysis
677	Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-10 19:35:24 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Monad Option type Type class Map ALGOL 68 Functor
678	Code Style Randy Shepherd NYU Correctness is not Sufficient ● Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2014-03-05 12:03:11 Software engineering Computer programming Computing Source code Cross-platform software Concurrent programming languages Procedural programming languages Object-oriented programming languages Comment Programming style HTML Go
679	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics
680	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions

UPDATE